Margolus–Levitin theorem